A Taxonomy of Complexity Classes of Functions

This paper comprises a systematic comparison of several complexity classes of functions that are computed nondeterministically in polynomial time or with an oracle in NP. There are three components to this work. A taxonomy is presented that demonstrates all known inclusion relations of these classes. For (nearly) each inclusion that is not shown to hold, evidence is presented to indicate that the inclusion is false. As an example, consider FewPF, the class of multivalued functions that are nondeterministi-cally computable in polynomial time such that for each x, there is a polynomial bound on the number of distinct output values of f(x). We show that FewPF PF NP tt. However, we show PF NP tt FewPF if and only if NP = co-NP, and thus PF NP tt FewPF is likely to be false. Whereas it is known that P NP (O(log n)) = P NP tt P NP Hem87, Wagb, BH88], we show that PF NP (O(log n)) = PF NP tt implies P = FewP and R = NP. Also, we show that PF NP tt = PF NP if and only if P NP tt = P NP. We show that if every nondeterministic polynomial-time multivalued function has a single-valued nondeterministic reenement (equivalently, if every honest function that is computable in polynomial-time can be inverted by 1 a single-valued nondeterministic function), then there exists a disjoint pair of NP-compete sets such that every separator is NP-hard. The latter is a previously studied open problem that is closely related to investigations on promise problems. This result motivates a study of reductions between partial multivalued functions.